Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
โœ…Format Verification
An enough week
blog.mitrichev.chยท23hยท
๐Ÿ“ˆLinear programming
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท5hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
Efficient and accurate search in petabase-scale sequence repositories
nature.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Burrows-Wheeler
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Neuro-Symbolic AI
en.wikipedia.orgยท4hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Meet Amazon Quick Suite: The agentic AI application reshaping how work gets done
aboutamazon.comยท1dยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท5hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
CodeSOD: A JSON Serializer
thedailywtf.comยท1d
๐Ÿ“ฆDeflate
rule-router: I built a high-performance rule engine for NATS in Go
reddit.comยท21hยท
Discuss: r/golang
๐ŸŒŠStreaming Systems
Mind the Gap: Quantifying Vocabulary Mismatch in E-Commerce Site Search
searchhub.ioยท1dยท
Discuss: Hacker News
๐Ÿ“ˆSearch Quality
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.aiยท5hยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.orgยท1d
๐Ÿ”จCompilers
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
10 Data + AI Observations for Fall 2025
towardsdatascience.comยท5h
๐ŸŒŠStream Processing